Ana Sokolova: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Tryptophan-Accelerated Electron Flow Across a Protein–Protein Interface

Takematsu, Kana, Williamson, Heather, Blanco-Rodríguez, Ana María, Sokolová, Lucie, Nikolovski, Pavle, Kaiser, Jens T., Towrie, Michael, Clark, Ian P., Vlček, Antonín, Winkler, Jay R., Gray, Harry B.

Journal:

Journal of the American Chemical Society

Year:

2013

Language:

english

File:

PDF, 1.75 MB

english, 2013

2

Preface for the special issue on Interaction and Concurrency Experience 2014

Lanese, Ivan, Lluch Lafuente, Alberto, Sokolova, Ana, Torres Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 131 KB

english, 2016

3

Structural entheseal lesions in patients with psoriasis are associated with an increased risk of progression to psoriatic arthritis

Simon, David, Tascilar, Koray, Kleyer, Arnd, Bayat, Sara, Kampylafka, Eleni, Sokolova, Maria, Zevkovic, Ana, Hueber, Axel J, Rech, JÃ¼rgen, Schuster, Louis, Engel, Klaus, Sticherling, Michael, Schett,

Journal:

Arthritis & Rheumatology

Year:

2020

Language:

english

File:

PDF, 20.91 MB

english, 2020

4

Generic Trace Theory

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 401 KB

english, 2006

5

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract)

Ana Sokolova, Erik de Vink, Harald Woracek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 342 KB

english, 2005

6

Information hiding in probabilistic concurrent systems

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 479 KB

english, 2011

7

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, Erik de Vink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 235 KB

english, 2003

8

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, Erik de Vink

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 306 KB

english, 2004

9

Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems

Alexandra Silva, Ana Sokolova

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 437 KB

english, 2011

10

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba, ,Reactive Systems: Modelling, Specification and Verification (2007) Cambridge University Press 9780521875462.

Jos Baeten, Ana Sokolova

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 59 KB

english, 2008

11

Probabilistic systems coalgebraically: A survey

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 331 KB

english, 2011

12

Severe allergy to poultry meat without sensitisation to egg proteins with concomitant Leguminosae allergy. Case report

Anna Sokolova, Ana Célia Costa, Maria Conceição Santos, Borja Bartolomé, Manuel Pereira Barbosa

Journal:

Allergologia et Immunopathologia

Year:

2009

Language:

english

File:

PDF, 274 KB

english, 2009

13

Temporal isolation in real-time systems: the VBS approach

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 644 KB

english, 2013

14

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Information Hiding in Probabilistic Concurrent Systems

Andres, Miguel E., Palamidessi, Catuscia, Rossum, Peter van, Sokolova, Ana

Year:

2010

Language:

english

File:

PDF, 469 KB

english, 2010

15

[IEEE Embedded Technology and Applications Symposium (RTAS) - Stockholm, Sweden (2010.04.12-2010.04.15)] 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium - Response Time versus Utilization in Scheduler Overhead Accounting

Craciunas, Silviu S., Kirsch, Christoph M., Sokolova, Ana

Year:

2010

Language:

english

File:

PDF, 361 KB

english, 2010

16

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - Runtime Programming through Model-Preserving, Scalable Runtime Patches

Kirsch, Christoph M., Lopes, Luis, Marques, Eduardo R.B., Sokolova, Ana

Year:

2011

Language:

english

File:

PDF, 652 KB

english, 2011

17

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Quantitative relaxation of concurrent data structures

Henzinger, Thomas A., Kirsch, Christoph M., Payer, Hannes, Sezgin, Ali, Sokolova, Ana

Year:

2013

Language:

english

File:

PDF, 614 KB

english, 2013

18

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Distributed, Modular HTL

Henzinger, Thomas A., Kirsch, Christoph M., Marques, Eduardo R. B., Sokolova, Ana

Year:

2009

Language:

english

File:

PDF, 670 KB

english, 2009

19

[IEEE 2009 IEEE International Symposium on Industrial Embedded Systems (SIES) - Lausanne, Switzerland (2009.07.8-2009.07.10)] 2009 IEEE International Symposium on Industrial Embedded Systems - Programmable temporal isolation through variable-bandwidth servers

Craciunas, Silviu S., Kirsch, Christoph M., Payer, Hannes, Rock, Harald, Sokolova, Ana

Year:

2009

Language:

english

File:

PDF, 1.82 MB

english, 2009

20

Preface for the special issue on Interaction and Concurrency Experience 2012

Carbone, Marco, Lanese, Ivan, Silva, Alexandra, Sokolova, Ana

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 117 KB

english, 2015

21

Trace semantics via determinization

Jacobs, Bart, Silva, Alexandra, Sokolova, Ana

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 579 KB

english, 2015

22

Congruences of convex algebras

Sokolova, Ana, Woracek, Harald

Journal:

Journal of Pure and Applied Algebra

Year:

2015

Language:

english

File:

PDF, 742 KB

english, 2015

23

[ACM Press the tenth ACM international conference - Scottsdale, Arizona, USA (2010.10.24-2010.10.29)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '10 - Power-aware temporal isolation with variable-bandwidth servers

Craciunas, Silviu S., Kirsch, Christoph M., Sokolova, Ana

Year:

2010

Language:

english

File:

PDF, 649 KB

english, 2010

24

[ACM Press the international symposium - San Jose, California, USA (2011.06.04-2011.06.05)] Proceedings of the international symposium on Memory management - ISMM '11 - Short-term memory for self-collecting mutators

Aigner, Martin, Haas, Andreas, Kirsch, Christoph M., Lippautz, Michael, Sokolova, Ana, Stroka, Stephanie, Unterweger, Andreas

Year:

2011

Language:

english

File:

PDF, 725 KB

english, 2011

25

Preface for the special issue of Interaction and Concurrency Experience 2013

Carbone, Marco, Lanese, Ivan, Lluch Lafuente, Alberto, Sokolova, Ana

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 116 KB

english, 2015

26

[ACM Press the 30th annual ACM SIGACT-SIGOPS symposium - San Jose, California, USA (2011.06.06-2011.06.08)] Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '11 - Scalability versus semantics of concurrent FIFO queues

Payer, Hannes, Roeck, Harald, Kirsch, Christoph M., Sokolova, Ana

Year:

2011

Language:

english

File:

PDF, 375 KB

english, 2011

27

Flavonolignan 2,3-dehydroderivatives: Preparation, antiradical and cytoprotective activity

Pyszková, Michaela, Biler, Michal, Biedermann, David, Valentová, Kateřina, Kuzma, Marek, Vrba, Jiří, Ulrichová, Jitka, Sokolová, Romana, Mojović, Miloš, Popović-Bijelić, Ana, Kubala, Martin, Trouillas

Journal:

Free Radical Biology and Medicine

Year:

2016

Language:

english

File:

PDF, 2.90 MB

english, 2016

28

Short-term memory for self-collecting mutators

Aigner, Martin, Haas, Andreas, Kirsch, Christoph M., Lippautz, Michael, Sokolova, Ana, Stroka, Stephanie, Unterweger, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 725 KB

english, 2011

29

[ACM Press the Second Workshop - Nuremburg, Germany (2009.03.31-2009.03.31)] Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems - IIES '09 - Programmable temporal isolation in real-time and embedded execution environments

Craciunas, Silviu S., Kirsch, Christoph M., Payer, Hannes, Röck, Harald, Sokolova, Ana

Year:

2009

Language:

english

File:

PDF, 661 KB

english, 2009

30

The Mitochondrial Contribution to Animal Performance, Adaptation, and Life-History Variation

Hood, Wendy R, Austad, Steven N, Bize, Pierre, Jimenez, Ana Gabriela, Montooth, Kristi L, Schulte, Patricia M, Scott, Graham R, Sokolova, Inna, Treberg, Jason R, Salin, Karine

Journal:

Integrative and Comparative Biology

Year:

2018

Language:

english

File:

PDF, 112 KB

english, 2018

31

Preface for the special issue of Proof, Structure, and Computation 2014

Pattinson, Dirk, Schuster, Peter, Sokolova, Ana

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 56 KB

english, 2016

32

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The Theory of Traces for Systems with Nondeterminism and Probability

Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria

Year:

2019

Language:

english

File:

PDF, 395 KB

english, 2019

33

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The Theory of Traces for Systems with Nondeterminism and Probability

Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria

Year:

2019

File:

PDF, 395 KB

2019

34

[Lecture Notes in Computer Science] Formal Techniques for Distributed Objects, Components, and Systems Volume 12136 (40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15â19, 2020, Proceedings) ||

Gotsman, Alexey, Sokolova, Ana

Year:

2020

File:

PDF, 13.91 MB

2020

35

Secukinumab leads to shifts from stage-based towards response-based disease clustersâcomparative data from very early and established psoriatic arthritis

Kampylafka, Eleni, Tascilar, Koray, Lerchen, Veronika, Linz, Christina, Sokolova, Maria, Zekovic, Ana, Kleyer, Arnd, Simon, David, Rech, JÃ¼rgen, Sticherling, Michael, Schett, Georg, Hueber, Axel J.

Journal:

Arthritis Research & Therapy

Year:

2020

File:

PDF, 998 KB

2020